solvable group(可解群):群论中的一个概念,指一个群可以通过一系列“逐步简化”的正规子群链来分解,使得每一步相邻商群都是阿贝尔群(可交换群)。直观地说,它表示这个群的结构能用“由简单到复杂的可交换层”来理解与构建。
(注:在更广泛语境中 solvable 也可表示“可解决的”,但 solvable group 是固定的数学术语。)
/ˈsɒlvəbl ɡruːp/
/ˈsɑːlvəbəl ɡruːp/
A solvable group has a chain of normal subgroups with abelian quotients.
可解群存在一个由正规子群组成的链,并且相邻的商群都是阿贝尔群。
In Galois theory, the solvable group condition explains why some polynomial equations can be solved by radicals.
在伽罗瓦理论中,“伽罗瓦群是可解群”这一条件解释了为什么某些多项式方程可以用根式求解。
solvable 来自 solve(解决、解出)+ 后缀 -able(“能够……的”),字面是“能被解决/能被解出的”。在群论里它被专门化为“能通过阿贝尔商群逐层分解”的结构性质。该术语与伽罗瓦(Galois)对“方程可由根式求解”与“相关群的性质”之间联系的研究密切相关。